Types

The triple script dialect is optionally typed, but like the language in general at this time, the type system is not fully specced out and implemented at this time.

For the time being, authors should consider using javadoc-/jsdoc-like annotations.