remove style police by beefing up context logic

New code to infer a symbol to refer to either a DataType or some other
non-DataType value. This helps disambiguate the form A[b] where the
lint logic crucially depend on whether A is a DataType or not