Prove some extensionality properties on pmap.