Delete spurious equality definition on User.
Delete left-over reference in Submission.