types
BAMS =
map compose AccId of seq of char end to
compose Account of
H: set of compose AccHolder of seq of char end
B: compose Amount of int end
end