Adds doc and simplifies #modifies?.
Adds compatible? to modifier and doc.