add solve method
add reference down-up type checker
typecheckStep is very fast (for arithmetic exps)
report times of test cases
introduce flag for logging table ops