Codify Book I propositions

Implement initial codification of Book I propositions.