let array_access t index = Fol.Tapp("access", [t;index])