Implement type specialized instance ariables

What does this mean `@a = <some int or float>` doesn't allocate anymore. Todo list:

- [ ] bring back pre-sizing of the data array (and tests for it)
- [ ] make `pos()` not be `O(n)` in the number of instance vars.
- [ ] merge `precise-instantiate` branch of PyPy.