Messages have proper fwd-infer? setting.
cance-infer working again for implication (but needs improvement!)