builtin-arrays is broken, cogent does not compile.

[gteege]

(I hope you will not begin to hate me ...)
When doing

make INSTALL_FLAGS='--enable-tests --force-reinstalls --flags="+builtin-arrays"'

in branch master the compiler signals an error:

[46 of 70] Compiling Cogent.TypeCheck.Generator ( src/Cogent/TypeCheck/Generator.hs, dist/dist-sandbox-49115f4a/build/Cogent/TypeCheck/Generator.o )

src/Cogent/TypeCheck/Generator.hs:264:31: error:
    Data constructor not in scope: F :: TCType -> TCType
    |
264 |   return (mconcat cs <> cz <> F (T $ TArray alpha n) :< F t, ArrayLit es')
    |                               ^

[zilinc]

We have reworked the built-in arrays and augmented it with more features. They are still WIP and are therefore not merged to master.