> I think there is a paper online that describes a proper type and class > system for scheme. The author calls it "modules" but it is in fact a > type/class system for scheme. You might be referring to this unpublished paper by Matthias Blume: http://www.cs.Princeton.edu/~blume/scm-sc.ps.gz