Text this: Constructive Canonicity of Inductive Inequalities