Added the missing parsing rule for :clear
Fixed a stupid bug with error messages persisting through calls to typechecker.