Tag Alias: magma -> lava

Aliasing magma -> lava.

Reason: Close enough, and the distinction can be difficult. Might as well provide a single tag for the two.

Could always go and call it molten_rock instead of either.

Bump.

The distinction is pretty clear between them but in the end of the day, the difference is just where the molten rock is so I will go with NWF_renim's suggestion.

Aliased both to molten_rock.