Expands on the explanation of types