Add optional `type` argument to `arg` and `opt`

At the moment, the type of an argument is `character` unless a value of another type is set as the default argument. Arguments that don’t have a default value cannot specify a type. This means that
1. The command line parser cannot check the type.
2. The user has to coerce the type manually as necessary.