type structures The concept of using extended types (such as illustrated by Simula classes,18 CLU clusters,19 Alphard forms,7 or Euclid modules) to organize software is quite valuable. However, Janson15 points out that most efforts to employ strict type extension methods in programming are done with the underlying assumption of unlimited quantities of resources available. In the internal struct...