Evidence for Single-Type Semantics—An Alternative To $e$/$t$-Based Dual-Type Semantics. (15th August 2018)