Add #materialized? to the list of methods to proxy
Merge branch 'master' into axiom-types-refactor