Type inference for 'less' operator (task 3)