some findusageability in dfa
merge DfaNotNullValue into DfaTypeValue
cache the default dfaVar type