Tokens

Cardano apps heavely use /Token Threaded Computations/. Here is a simple module using partial maps and naturals as identifier.

Cardano tokens have an additiona field 'name'.