Moved header "Laja crash course".
Improved StateListImpl error message when mutating state.