Expand description

A type is anything that can be specified after type keyword as in the spec

Modules

A bound is anything that restricts the instance value, please see validation keywords in the spec

Enums