Did some experimentation with a more meaningful encoding of absolute and relative references. Conclusion: it was a dead end because type inference got mired in ambiguity. Perhaps a simpler interface for specifying references is in order (ala `from` or something).