Draft: Update checker

1. update check func, single rule, now only raise error/pass. env update should be done in semantic.sml
2. update error info
3. refactor undefined error