Updated Racket parsing of fonts and Z3 font datatype to match changes to JS and semantics.
Updated Racket parsing of fonts and Z3 font datatype to match changes to JS and semantics.

uwplse/Cassius,uwplse/Cassius,uwplse/Cassius,uwplse/Cassius,uwplse/Cassius,uwplse/Cassius