Renamed some functions (i.e. added an above = up...), moved sheet evaluation code from PlaneZipper to Unchecked.