- simplify grammer of function calls
- set TermNum to unimplemented to due type errors