compiling version for Edwin for automatic reflection of terms