refactor prelude context
fix tuple allocators
add unit-type to prelude
fix Util.binaries
reject multiple clauses per function definition
rename and refactor EtaExpansion
extend Prelude
refactor Test/TermComp2014