some work on the parser

- somewhat unstable
- tried to simplify:
-- one kind of expressions (Psyntax.args)
-- no more unnecessary interpretation of integer constants