This, and "level errors" which I'm not sure I'm naming correctly, but what I mean is to conflate syntax and the semantics one level up. Maybe signifier/signified? Just intuition but this has struck me many times in the kind of thinking errors I make about typed programs.