Added bibliography, revised background section on guarded recursion and the first part of related work.