Added in lexer & AST ability to support for strict variable types.