Small fix for MKPF1 in g-boot.boot

[Grégory Vanuxem]

Hello,

In MKPF1, the operator test is case sensitive which prevents me to ')show NRB'

(1) -> )sh NRB
NMRealBall is a domain constructor.
Abbreviation for NMRealBall is NRB
This constructor is exposed in this frame.

debugger invoked on a SIMPLE-CONDITION in thread
#<THREAD tid=5327 "main thread" RUNNING {1201A60003}>:
break

Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
0: [CONTINUE] Return from BREAK.
1: [ABORT ] Exit from the current thread.

(MKPF1 ((|has| % (|arbitraryExponent|))) NOT)
error finding frame source: Bogus form-number: the source file has probably
changed too much to cope with.
source: NIL
0]

The following though improveable probably, I do not master case
sensitive things in FriCAS, fixes this.

The domain in question is just a convenient domain:

)abbrev domain NRB NMRealBall
++ Description: convenience domain to reflect
++ Nemo ArbField(), i.e. without parameters.
NMRealBall() == NMArbField(256)


====================================================


└─$ diff --context=15 /home/greg/Tmp/fricas/src/interp/g-boot.boot
src/interp/g-boot.boot
*** /home/greg/Tmp/fricas/src/interp/g-boot.boot 2025-06-27
14:04:22.114709313 +0200
--- src/interp/g-boot.boot 2025-06-27 14:06:33.774699422 +0200
***************
*** 534,551 ****
--- 534,553 ----
op = "and" =>
l := REMOVE(true, REMOVE("true", l))
NULL(l) => true
rest(l) => ["and", :l]
first(l)
op = "AND" =>
l := REMOVE(true, REMOVE("true", l))
NULL(l) => ["QUOTE", true]
rest(l) => ["AND", :l]
first(l)
op = "PROGN" =>
l := REMOVE(nil, l)
NULL(l) => nil
rest(l) => ["PROGN", :l]
first(l)
+ op = "NOT" =>
+ [op, :l]
op = "not" =>
[op, :l]
BREAK()


- Greg