* added a checkMacro that checks for null, unit and var expressions
* added a check trait that checks an integer range.
* started to work on a compiler plugin
added check for nothing, to prevent missing explicite type declaration