Lifted Logic 3.0