Added more Scalaz type class support
Added per-Answer global constraints support

There will be some refactoring needed, but the concept is well on the
way to being flushed out.