Simplify Reference x Borrow x Pointer

[notdanilo]

Reference now implements fn type_(&self) and fn is_constant(&self), maybe we can go along with it and simplify these three structures.