Simplified expose using getBoundVars from compdata
Removed whnf and normalForm
Removed .ghci from version control
Added a more general type class :<<: for projection
Use :<<: where possible. Large-ish rearrangements in Sharing.hs to avoid injections (:<:) where not necessary.