That was working around refined types printing out `<refinement>`. I moved the typeString method to Kind, changed it to check for refined types, and added a test case.