semantic: Test overriding expression types to allow checking of storage bases.