Possibly related to #105 is the following:

(1) -> f(x,y)==x+y

)set message bottom on

   Your user access level is compiler and this set option is therefore 
      not available. See the )set userlevel command for more 
      information.
draw(x +-> f(x,3.0), 1.0..2.0)

Compiling function f with type (DoubleFloat, Float) -> Point(
      DoubleFloat) 
   Conversion failed in the compiled user function f .

   Cannot convert the value from type DoubleFloat to Point(DoubleFloat)
      .

Note that for some reason, axiom prefers to think of x+->f(x,3.0) as a function to Point DFLOAT.

It does help to declare the anonymous function, but only before it's first use:

draw((x:DFLOAT):DFLOAT +-> f(x,3.0), 1.0..2.0)

   Conversion failed in the compiled user function f .

   Cannot convert the value from type DoubleFloat to Point(DoubleFloat)
      .