collect directly closed-overs instead of closing referenced-locals, that approach could have been problematic
fix deftype type inference