typeof::=