types package:speculate

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