- fixed bugs in prelude.
- added option to run typechecker after translation.