TableName and AttributeName are chosen from a..z or A..Z.
Creating table tests is in progress. The test uses monadic quickcheck.
Current status of the implementation is described.