always expand DEFAULT to *one* dataCon
move sumLen from GHC/List to Data/List
tmp fix for #186
consGen ignores class bodies?
minor
total risers
Merge pull request #196 from ucsd-progsys/local

temporal fix for #186
restore take
Update Class4.hs
class issue
Data.Map is total
don't check impl of `assume`s
forgot to add the test...
update hscolour
adding some totality tests
Merge pull request #198 from ucsd-progsys/unchecked-assume

Unchecked assumes
fix for #197
merge
overwrite imported type sigs using assume
add Warging