Release v0.16.0

• Extend Typed_fields_lib and Typed_variants_lib with new functors for converting between a module that operates on a record or variant with type variables into one with concrete types for those variables: S_of_S1, S_of_S2, S_of_S3, S_of_S4, S_of_S5