Define as syntactic sugar for lambdas

[ward]

Make the define simply syntactic sugar for lambdas? This would require explicitly stating the type in the define though. Or using the type checker while desugaring.