fix a lexer bug:.N.expr:fix
ready for arity add
number of arguments calculated:fix
arity check added, it seems, the runtime computation is more reliable:fix