build error

See [#lean4 > error with dependencies](https://leanprover.zulipchat.com/#narrow/channel/270676-lean4/topic/error.20with.20dependencies) Could this package be broken into a `core` package with the minimal necessary for DataArray operations and notations? Maybe that would make it easier to maintain SciLean up-to-date with Mathlib?