Making Hole public again in order to store location information.
Fixing some example which typed HOLE.