Implemented IronFurnace

`malloy` looks like it has to do with the Alloy's mutability, not its optionality. Could this be changed to opt_alloy, or something similar?