Second version of Acme++ basic types