[nextos]

Exactly. Typing choices are a key part of what makes Julia interesting. And user types are first-class.