Fix CTYP-65. Can check protocols in short namespaces.
Remove tools.macro testing dep
Fix polymorphic records with ann-record.
Cleanup tests
Test for CTYP-65
Update analyzer
Check deftype fields match annotation. Use more permissive type ctors.