Processing as TTImpWritten TTCYaffle> (%pi RigW Explicit Nothing Main.Nat (Main.AdderTy Main.Z))Yaffle> (%pi RigW Explicit Nothing Main.Nat (Main.AdderTy (Main.S Main.Z)))Yaffle> (Main.S (Main.S (Main.S Main.Z)))Yaffle> (Main.S (Main.S (Main.S (Main.S (Main.S (Main.S Main.Z))))))Yaffle> Bye for now!