Fix inferred type of empty progn.
Emit better error message on erroneous number of arguments to compiled function.
Support "lexical" kind of variables in debug information.