types -package:generic-optics package:speculate

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