re-check to explicitly propagate a given type constraint to lhs -- necessary to trigger type improvement in an instantiation target
re-check to explicitly propagate a given type constraint to lhs -- necessary to trigger type improvement in an instantiation target

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle