Simplified expression type hierarchy.