Sebastian Ullrich removes Lean's 255-object-field limit per constructor