These are significantly safer and more declarative - they assert and
validate that they can only belong to certain types of objects.