load prelude before starting REPL
add syntax for coh and coe