Why is type information useful to a programmer?