Test numeric annotations, some fails
Test ignoring properties, fix parsing protocols