Update ann-datatype and ann-protocol syntax
core.typed: Notes on protocols and datatypes
Merge branch 'master' into podcasts