Fixed typoes in codegen.ml