That looks like a bug to me. When I redid the datashape parsing, I didn't implement the type constraint feature that was using these typesets, so "(3 * T : integral) -> T" doesn't parse for example. Is anything using the typesets functionality anywhere in our codebase?