improve extraction to be closer to native haskell types
improve extraction to be closer to native haskell types

string -> [Char]
bool_dec -> (Prelude.==)
lt_dec -> (Prelude.<)
string_dec -> (Prelude.==)

reduces memory allocation from 240MB to 215MB

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl