codelift - Bidirectional Translation Through Formal IR