certified termination (abstract and SRS) in Agda

... alles muß man selbst machen ... Ziel sind zunächst Sätze über RFC und ROC für SRS.