Recursive constructor disjointness + cleanup
Merge branch 'forceability-cleanup-squashed' of https://github.com/ziman/idris into ziman-forceability-cleanup-squashed

Conflicts:
	src/Core/TT.hs
Update IBC version