setting right names to ast types