Expr.ArraysEx
Constructors from the smtlib theory of functional arrays with extensionality logic.
https://smtlib.cs.uiowa.edu/theories-ArraysEx.shtml
val select : t -> t -> t
val store : t -> t -> t -> t