support guarantees for paradise
initial docs on extractor macros
mentions macros that must necessarily be whitebox
Merge pull request #306 from xeno-by/master

updates to macro docs