fixed bugs in ABC datatypes implementation