Add ghci target to Makefile
Adding implicit pi types, WIP
More descriptive return type for `canStrengthen`
Continued adjustments for new pi type (WIP).
Substitution => Subst
Optimize Sub.instantiate
Merge branch 'master' into alteredimplicits

Conflicts:
	src/Term/Impl/Common.hs