Lifted Logic 2.0