fixed the implicits problem and added true typechecking for defs
Merge pull request #4 from mmirman/coc

fixed the implicits problem and added true typechecking for defs