Corrections to Dom, removing unneeded methods, renaming typeclasses.
Added access to wreath product base elements, filling with identity when outside array.