can compile indexed terms and general constants