Replaced abstract + NO_TERMINATION_CHECK by NON_TERMINATING.
Merge branch 'master' of github.com:Agda/agda-stdlib