A *(term) describing a *(type system) where _(type)s can depend on values.

