support guarantees for paradise
initial docs on extractor macros
mentions macros that must necessarily be whitebox