types -package:language-avro package:speculate

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