Implement TypeChecking for 'Less than'

TypeChecking for 'Less than'