start writing protocol types to the compiled file

will use these later to polymorph functions based on this typename