Finish guardedness check

Also needs to check under 'Delay' that any further corecursive call is
properly guarded.