types -package:text package:speculate

(advanced) only allow those types at top-level equations / semi-equations