Major update

Additional syntax:
 - differentiation
 - functions
 - use of defined parameters in bounds of variables
 - improved error reporting