Upgraded variable handling

Still valid, now also with the validator.
Todo:
-Pointers
-Sizes
-Conditional jumps