Started to type in the interpretation of types