Add improvements based on a linear relation (XXX: Still loosing constraints in imps.)
Merge branch 'wip/cs' of github.com:GaloisInc/cryptol into wip/cs

Conflicts:
	src/Cryptol/TypeCheck/Solve.hs
	src/Cryptol/TypeCheck/Solver/CrySAT.hs