forgot to add deftype name in the ast