Built type system and implemented return statment