Bug #23 still happens later in stlc
Cleanup + run over recursion problem in free_in_context