I've spent quite a bit of time making things more type-friendly. The ORM has the most questions remaining (as you'd expect), but in general I think this has led to better APIs in many places.

Ty is still pre-release but I added it to plain-code anyway so apps can get some of the downstream benefits of a more typed framework (catching mistakes!)