Bikeshedding

 * Types were renamed completely (using the format <NAME>_TYPE).
 * integer, decimal now typedef-ed so signatures match boogie.
 * Everything guaranteed to be 64 bit.
 * Basic types are storing values within void *
   * decimal involved some casting magic
 * Arguably, error-checking took a hit