fix(library/tactic): type check generalization result, fixes #273
fix(library/tactic): type check generalization result, fixes #273