See Theory of Objects by Cardelli and Abadi), though yes, we aren't really seeing that in the examples above. God the world would have been a better place if Self had beaten Java, or if JavaScript ...