document immutable types. closes #2565