More work on expression translation