Added useful comments wrt atom typing