Enhance AttrList with a few more tools, including difference.
Type checking on RelationType#project