add context value + conditional type and constant type