to be checked
(?='string' | 'number') to restrict
import {A} from 'ts-toolbelt'
type test0 = A.IsLiteral<1 | 2> // 1
type test1 = A.IsLiteral<1 | 2, string> // 0
type test2 = A.IsLiteral<1 | '2', string> // 0 | 1
type test3 = A.IsLiteral<number> // 0
Literal to restrict against
Determine whether
Ais literal or not