Remove stage 'closeLocalAbstractions'

Local abstractions are closed during globalization.
Fix compilation failure when profiling is enabled

To do so, collapse applications _and_ abstractions after instantiation.