First Draft: Static Single Assignment

[Walter Bright]

I've come to realize the following:

```d
void test() {
     final int x = 3;
     pragma(msg, typeof(&x));
}
```
prints: const(int)*

which is a more practical way to make this all work. I've made the changes to 
the PR.