Control to Data module for Monoid, Foldable, Traverse
resolve conflicts
Fix QName and Symbol dispatch
New standard lib layout