Type Inference for Isabelle2Cpp