psytypes: refactor immutable/mutable variant record