I'm specifically complaining about the `Struct` thing.  We should add a node to ARel that handles `CHECK`