typed-struct-props

Some struct type properties in Typed/Racket, in a more type-safe way. The API should hopefully stay backward-compatible when Typed/Racket officially supports (or rejects) structure type properties.