Remove unnecessary print arg
Type should be boxed
Fix VLam; implement eval
Refactor: cleanup printing
Refactor: rename ceval/ieval to chk/inf