simplified Data.Weave.normalize
made type signatures more consistent
added Bifunctor instance for Weave
added several constructors