started tiny addition in typecheck