Allow various value types in a command

This commit introduces `Stringified`, a value class implicitly wrapping
a `String` formatted by `Write`. Now commands require `Stringified`
instances as values instead of parameterized `A` with implicit
`Write[A]` to allow various types of value in a single command.