Lava tiles can now be used.

Also, renamed drainsHealth to drainsHP, and healthDrainAmount to
HPDrainAmount.
However, lava tiles don’t drain HP yet.