Record stubs fix bugs

* [x] Fixes #422 
* [x] Fixes #430 
* [x] Option to disable feature
* [x] Documentation (fixes #424)
* [x] Handle space-sensitivity aspect
* [x] Handle copy-with-update expression
* [x] Handle typed expression on the right-hand side