As agreed in the meeting, what is currently called general recursive form should be changed to degree optimal, so * [x] All functions ending with `_recursive` should be changed to `_degopt`. * [x] The `gen_general_recursion` should be changed to `gen_degopt`, * [x] Similar for function documentation