Fix: a minor parsing bug for constant folding of builtin math functions;
Fix: a minor bug in mt.find() for list.
Add: DaoLexer struct, and update relevant codes.