Towards a Theory of Bulk Types