Fix applications of applications in executor
Don't normalize terms before executing when elaborating type providers

Normalized terms can lose information about sequencing of IO, and they can be
infinite.