Update ann-datatype and ann-protocol syntax
core.typed: Notes on protocols and datatypes