Operational aspects of type systems by