better source positions for ExprEmpty
better error message for wrong parameters