Add some accessors.
An Expression DOES TypedExpression if it can("type")
Add TypedExpression for any other expression that does not natively bear a type.
Variable->pointer returns a pointer-typed expression that evaluates to &name.