string-mutable?
vonuvoli
type-predicate;
type-predicate
vs:types
(vonuvoli types positive)
vs:strings
(vonuvoli strings)
vs:types*
(vonuvoli types)
vs:base
(vonuvoli base)