Changes to better support accessibility via ARIA

These changes should close #304
In general it's unclear to me why dfns need additional ARIA information. Isn't that already part of the semantics?