Next: add toString method to all the ATSType class