Add directory 'export' to ignored files
Add support for attribute 'penwidth'
Sprinkle a few type annotations to catch polymorphic-variants-related mistaked