Update clojure-common-utils version
Add a couple unit tests
Scalar is now a virtual type yo
homomergeable is now a thing
Implemented (buggy) core homomergeability and factory fns
Fixed bugginess
Homomergeable now includes (union type) with (a subtype in the union)
Broke types into several files
this is a bad place to commit but I don't want to lose the day's work
Made it to the clear
Added .arcconfig
Added metadata on scalar types. Refined merge/simplify semantics of empty collections.

Summary:
Add a couple unit tests

Scalar is now a virtual type yo

homomergeable is now a thing

Implemented (buggy) core homomergeability and factory fns

Fixed bugginess

Homomergeable now includes (union type) with (a subtype in the union)

Broke types into several files

this is a bad place to commit but I don't want to lose the day's work

Made it to the clear

Added .arcconfig

CC: egor, esayle, abahouth, SQLWILL, kali, sshah

Differential Revision: http://phabulous.newokl.com/D9
First time I'm confident it's correct. Added more unit tests
Finished updating merge-test
'extract-type' no longer exists.

It shouldn't have, because it implicitly was making everything do merges
instead of simplifies. Now you have to say extract-type-merging or
extract-type-simplifying, to disambiguate what you mean.
More unit tests and code clean up
Fixed transitivity problems
Finished updating non-type-system tests
Simplify now treats all collections as compatible
Added comment