Add support for types

Add supports for types. There should be a types feature which will control whether types are expected or not.
There should be one type to start which is ```int```. Each type should be a feature allowing for disabling of some types. 

The following will need to be updated:
- [ ] AST
- [ ] Tokenizer
- [ ] Interpreter