allocator implies constant flags
remove origin & optimize merge (issue #75)
Merge branch 'master' into usable-rules

Conflicts:
	src/CO4/Allocator.hs