Implemented more of Arbitrary for the Core language.