refactor prelude

refactor prelude
parser: char

parser: char pass first test.
idcont， parser.char

idcont: for direct optimization
parser.char: fix a bug.
termial, low level primitives

termial, low level primitives pass tests.
may, any

may, any, DummyVar