Datatypes in Antidote