Do we want a syntax class for the `(~datum :) type:expr` thing that keeps on getting repeated?