Throw int-error on untyped var reference
A non-polymorphic record's nilable fields are optional in map->* ctor
changelog