Start adding re-writing mechanism to typechecking, for now just for baking literals

[kontheocharis]

At any point after inferring a node, there should be a hook for potential extra checks/modifications/rewrites. For example, baking literals, but also various other canonical rewritings.