reverse pass for typecheck complete (for now)