mathlib3

83edb506 - feat(simps): improve error messages (#4653)

feat(simps): improve error messages (#4653) If a custom projection has a different type than the expected projection, then it will show a more specific error message. Also reflow most long lines Also add some tests