Working on type checking. Syntax of new needs further discussion in eng. meeting.