ongoing work on reverse pass for typecheck