Use semicolon as termination
Merge branch 'semantic_check' of https://github.com/jhn/PLT into semantic_check