Very rough sketch at adding strict inequalities.
Slightly better attempt at strict inequalities.
Tweaks to strict inequalities.
Sort imports.
Merge branch 'master' of /home/nick/prog/fourier-motzkin into v2

Conflicts:
	src/QuickSpec/Pruning/FourierMotzkin.hs
todo
Simplify API by making <== etc. return single Bounds
Merge branch 'master' of /home/nick/prog/fourier-motzkin into v2

Conflicts:
	src/QuickSpec/Pruning/FourierMotzkin.hs
Add pretty-printing to Fourier-Motzkin.
Add function to negate a bound.
Merge branch 'master' of /home/nick/prog/fourier-motzkin into v2
Have a go at a new constraint-solving implementation.