Add a basic explanation of Molecule's type inference