fix missing In.Less typo in typechecker
Merge pull request #20 from jfeo/chrs/fix/less

fix missing In.Less typo in typechecker