introduced typed values