Adds proof references under claim statements

Fixes style after adding content
Adds foundation package