A great thing with a -implements flag to ad_proc is that
we could check that the argument signatures match when
bound and could also add pre and post conditions efficiently.
The complicating factor would be we would have to make some
decision on how to deal with forward references.
In general though I like it and think it has value both in
terms of making the code self documenting and providing hooks for doing more sophisticated things with the contracts.