Bugfix for chaseAppLambda, effectsOfType for correct function application
Merge branch 'simpler-effects' of github.com:DaMSL/K3-Core into simpler-effects