Index of types

S
subst [Untyped_unify]	Type for substitution of variables.