Canonical Representations for Primitive Types

GOAT: Maybe this doesn't need to be its own section... But it seems like we'll want to say stuff about primitive encoding that transcends a specific primitive