make type label context a top level constant