Store-agnostic, reified, immutable typed data-mapper contracts for PHP, powered by xphp monomorphization (real generics with declaration-site variance).