I had hopes in Shein but it was way too ambitious with way too less design (in the sense of UI/UX and art).
Shein never became a serious language. It's highest point was when @deech made a talk about it and it also promoted their klambda but it had constant problems on every single aspect of the system and the design, from code size expanded as macros to unusable APIs due inconsistent design of libraries and features the author collected from everywhere. I even bought the book and felt deceived after it's unsuitability for anything other than academic examples on how to implement itself.
In Shen, the contract rules applied on each function are themselves a Turing complete language::
https://thestrangeloop.com/2014/shen-a-sufficiently-advanced...
https://shenlanguage.org
"static type checking based on sequent calculus"
"one of the most powerful systems for typing in functional programming"