Verified Forward Fragment

A first-order TorchLean forward language, its lowering into the verifier IR, and the checked theorem that evaluation of the lowered IR agrees with the source evaluator.