checkpoing: resource supertypes and field aliases