Implement initial version of conjectured API. Can anyone do anything about the horrible IsString required type signatures?