Implemented better handling of reference types. Implemented null. Made it possible to specifiy types of locals.