Reorganized Core some, added Format instances
Added some more bits for implementing Arbitrary
Minor cosmetic changes