Update rules to include subsumption in NEW and TERM-MEM to work-around fn restriction. We lose unicity of types and decidability, but should gain preservation.