Multiple exps & define

Allow multiple expressions at top level and a define statement to make
it useful. Possible suggestion: 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.