make struct/dc cooperate better with check syntax so that the struct name gets an arrow