type Direction = enumeration(up "up: direction from x-y plane along positive z axis", down "down: direction from x-y plane along negative z axis");