Add bottoms = unr+bad
Add names to the SMT assertions
Fix a bug which generated pointers to constructors as functions
Fix haddock
Merge branch 'hipspec-bottoms' into hipspec
Merge branch 'hipspec' into hipspec-ueq