removed spurious comment
tweak HasTy<n> definitions
tidying
alignment
remove old Konst code
remove old Cond code
export occurs functions; UnitT --> Unit etc
UnitT --> Unit etc
UnitT --> Unit etc
UnitT --> Unit etc