Better Error Messages #4
Description
Currently some error messages are not very clear in particular we need to
- check for linearity of variables
- don't assume that syntax has been done (some check in typing and tiering are not done because I assume that we ran -s before hand)