Starting to make FeldDomainAll a newtype
Protect 'bits' function from non-termination
Fully evaluate 'isSigned' at compile time
Using `IsHODomain` from Syntactic 1.5
Changed lattice terminology
Merge branch '0.7'
Done with making `FeldDomainAll` a newtype
Made a single general instance of the `Syntax` class

This seems to be OK now; the error messages seem the same after the change.
Renamed `FeldDomain` to `FeldDom`
Renaming `FeldDomainAll` to `FeldDomain`

(To get nicer type names towards the user.)
A note about why `FeldDomain` is a newtype
Removing obsolete `Syntax` instances
Merge branch 'newtype'
Implement newListArr
Add simplifications of nested min and nested max

Closes #23 by optimizing `min a (min a b) ==> min a b`.
Add tests for shiftLU and shiftRU
Skeleton of user's guide
Completed the (initial) documentation. Closes issue #12.
Renambed User's Guide to Tutorial
Added test suite for tutorial