Implement ($@%&)foo.VAR.default

Although I don't think this is formally specced, it seems logical that we can
introspect this at runtime using .VAR