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