Extension of System T by primitive corecursion

Just playing around a bit ...