little changes needed to typecheck with Agda HEAD (has recursive instance search)
added Makefile for batch type-checking
removing limbo