Add type signatures to MyInterpret