changes in the user guide
disabled typessystem rules for experimental stuff