Dereferencing feature

Gobra accepts the following 2 examples:

```
type A struct {
	x int
}

func main() {
	var x *A
	var y *A = &(*x)
	assert y == x
}
```

and 

```
func main() {
	var x *[3]int
	var y []int = (*x)[:]
}
```
