translator now treats option type as built-in
REPL module now includes call_repl_step and refs