Integer --> Int

Getting arithmetics up and running I had to nuke the `unpack` pragma in `Types`:

```
data NPrim = I !Integer | D {-# UNPACK #-} !Double
  deriving (Eq,Generic,Ord,Show)
```

because you cannot unpack arbitrary sized integers. Fix this by picking `Int64` or something similar when we begin to optimize.