Add type signature for mapFst
Use unjsonAesonFixCharArrayToString to fix type information for lifted types
Add documentation for unjsonIsConstrByName
Add mapOf
Add disjoinUnionOf with documentation
Use invariant package and Invariant.invmap