Make string type annotations spelt consistently
Differentiate between class environments and the instance environments.