#924 (Apr 23, 2019, 12:50:07 AM)

1. consolidated map2 clones (detail / hgweb)
2. separate type class for bit comprehension (detail / hgweb)
3. no need to maintain two separate type classes (detail / hgweb)
4. clarified structure of theories (detail / hgweb)

Started by an SCM change

This run spent:

• 6.2 sec waiting;
• 1 hr 14 min build duration;
• 1 hr 14 min total from scheduled to completion.