add newtype Natural and PathPiece instance