Adding PeanoType