Tagged types not practical

[alexarchambault]

They have to be unwrapped (...), to get the relevant value (the Int out of verbose: Int @@ Counter say). Add a note about it in README, and/or remove them in next version (replacing them with a real class Counter, like verbose: Counter).