No-args lambdas, native unit type and constant "()", basic unification of lookup and union types