More functionality for IntegrityVariables trans.

Added transformation for incrementations (not working for statements
like x=i++ yet), fixed setter and getter for the byte type to work as
intended.