Moved simplespec to the test tree, added a test for value types.