Remove exceptions from occurs_in and tysubst
Lift bndvar and body functions