Make codex type easier to use in extensionality.v