more updates toward AST -> code synthesis