Adding extra transpilation step doesn't sound like a great solution. It also doesn't support inlined assertions, referring to existing classes, custom validati

Adding extra transpilation step doesn't sound like a great solution. It also doesn't support inlined assertions, referring to existing classes, custom validations, opaque types etc.