Improved docstrings for lvaro and nonlvaro. Fixes LOGIC-131.