Fix delVariable for Parallelotope domain.
Force return type of LinearForm's factories in companion object.
Add an hom method to LinearForm.
Fix debugging output for LTS.
Add a FAST model to check the sum domain.