Prove Leibniz's Law
Merge branch 'master' of https://github.com/FormalTheology/GoedelGod
Restrict lifted equality to type u (type of individuals).