Lifted Logic T