1! TYPECHECK(MAGNITUDE,REGISTER)
1?
1 NOTYPECHECK
1 TYPECHECK(
1.1+ ,
1.1.0! MAGNITUDE
1.1.0?
1.1.0 NOMAGNITUDE
1.1! REGISTER
1.1?
1.1 NOREGISTER
1.2 (1) 

1.3 )