Right, it is exactly the stuff in basis.mlb that really confused me for a bit because I couldn't see what val x = x could possibly do. I just think that this kind of hiding would make more sense to be in the file. The argument against this (which is certainly not weak) is that as things are, the non-mlb files really are pure standard ML.