names-0.1: Types that symbolise Names.