Final type_checker before writing functions