pub fn array_element(array: Expr, element: Expr) -> Expr
extracts the element with the index n from the array.