variable declarations and blocks work, there is currently no type checking on variable declarations. This should be implemented once expressions are done