move AllocatorData to Allocator.Data
delete appsE'
refactor names
remove unnecessary lift
Merge branch 'typed-allocator' into usable-rules

Conflicts:
	tc/CO4/Test/TermComp2014/Allocators.hs
add typed allocators (issue #39)