Add SQL typeside

[wisnesky]

The SQL typeside is just a bunch of type names. This issue is to add the SQL typeside to the abstract syntax / parser / evaluator / etc. The actual type names can be looked up in AQL-java.

[wisnesky]

Actually, just having the type names is not enough; there are no constant symbols to bind them to. For now, AQL Haskell lacks the equivalent of AQL Java's 'Prim' that allows types to be Java classes, and for constants to be Java objects. This was a deliberate AQL Haskell design decision, since I'm pretty sure adding 'Prim' at the beginning of AQL java led to accidental design compromises that I'm still unsure are 100% repaired. The need for the sql typeside and the whole 'Prim' machinery will become apparent once people start importing data into AQL. For now I'm leaving this alone.

[wisnesky]

For now, we can make this typeside free.