Advanced Functions of QAD Lean