for Edwin : Compiling version (with Idris 0.9.15.1) for automatic reflection of terms