HANK: A cognitive modelling language for psychology students