Adapt `fastSchemaOf` function to avoid simplifying when instantiating props.
Adapt `fastSchemaOf` function to avoid simplifying when instantiating props.

Previously, checking the type of e.g. "(&&) `{[2]b}" would not return
"(Logic [2]b) => [2]b -> [2]b -> [2]b" as expected, but
"Logic b => [2]b -> [2]b -> [2]b". This made it impossible to reconstruct
the instances necessary to produce the required Logic dictionary when
translating to saw-core.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol