More Autovala, and documentation for Autovala