Added add_ATP_stuff and remove_ATP_stuff make rules.
[ Agda issue 1014 ] Recursive calls, going through subst, are not guarded.
(The issue is not fixed yet.)
Added add_ATP_stuff and remove_ATP_stuff make rules.
Merge branch 'agda-issue-1014'
Fixed map-iterate property using the Agda standard library.