refinement! doc is flawed #261
Description
In contrast to what is stated, /$ and /% are valid refinement! literals. Moreover /@ does give an error when used as argument for type?, because it is lexed as / @ (try load "/@"). It certainly does not yield an email! value.