At least typecheck the tagname.