Updating: improving exporting ATS-types to C
Updating: improving UTFPL0: support tuples.
Updating: simplifying jsonizing
Updating: improving jsonizing
Updating: improving jsonizing
Updating: improving jsonizing
Updating: improving jsonizing
Updating: improving jsonizing
Updating: improving jsonizing
Updating: minorly tidying-up
Updating: keeping tests up-to-date
Updating: packaging ATS-Postiats-include
Updating: support for packaging ATS-Postiats-include
Changed s2exp normilization to ignore s2var when exporting constraints. The reasoning behind this is that when we replace s2var's with expressions they represent, the SMT solver is unable to understand equality between two static variables.
Adding in Z3 interface from Anairiats
Used ATS2 conventions for function signatures