TypeRule also allows type element expressions