ir: Implement copy for BinOps.
semantic: First pass at inferring values for enum declarations.