Implements return values at functions
Adds type codes
Experimental push