Updated parser to use new Effect and Provenance datatypes
Partially fixed pretty printing of new effect declaration annotations
Added support for higher-order functions (applies of free variables). This required refactoring apply simplification, as well as handling non-lifted applies which directly inline their provenance and effect arguments