fix typeof bugs in preprocess; add todo and skip in preprocess test case
Merge branch 'opt-noeval' of https://github.com/brownplt/LambdaS5 into opt-noeval