Changed applications (abstract and elims) to take an implicit argument (WIP)
Mismatched parens + additional fixes required after changes to Apply