Cleanup docs for definst and defsynth