Add API to query stack state (types) at given point

...e for feeding to MarkLabel, or just constructing a relative stack