fix missing In.Less typo in typechecker

Instead of in.less the typechecker had two in.or. Changed the correct one to in.less instead.