[Axiom-developer] No-String

[Ralf Hemmecke]

Hello,

Since Axiom does not understand domains that are extended via Aldor, I 
had to use another name. So now I have an ACString (defined in a .as 
file) which has the same exports as String + some additional ones. In 
fact, I don't need to see String anymore on the Axiom command line.

I'd like to have that typing

s := "I am a string"

returns s of type ACString and not of type String.

Of course,

s: ACString := "blah"

already works, but the problem is

l: ACList(ACString) := ["a", "b"]

Any help to "unexpose" String, Integer, SingleInteger, MachineInteger, 
and Character is very much appreciated.

Thank you
Ralf