types -package:tasty package:speculate

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