Make `UnaExp::semantic` and `BinExp::semantic` abstract.