New: migrated optimizer to recursion-schemes library