Dialect or derivative of Scheme that includes an optional static type system among other special features.