The CLM seems to believe that type proclamations are legal. The following example is on page 156: (proclaim '(type float tolerance)) Rob