any, extends, unknown and infer.

What algebraic operations do they correspond to?