eval.sml => eval.fun
Finished ctype