Add sub{i,d}
Add support for infinities
Remove support for rank variables
Support function types
Remove support for array type variables in AST
Update examples
Add instance lists to example programs
Context base conversion
More implemented methods
Add types of unimplemented methods