Syntactic equality for PiImpl
Merge branch 'alteredimplicits' of https://github.com/bitonic/tog into alteredimplicits

Conflicts:
	src/Syntax/Abstract/Abs.hs
Merge branch 'alteredimplicits' of https://github.com/bitonic/tog into alteredimplicits
Fixed type errors in type checkers and made some names readable.