Lots of different changes to numerical domains.
Further changes to the LinearForm API.
Improve test suite for LinearForm
Complete implementation of Parallelotope domain.