Claim Formatting

[fledder]

Add an option / set of macros for dependent claims that are indented under the independent claim. Per our conversation, this is probably a low priority feature, but I will forget if I don't put it here...