Added steps and step

Although step hangs on 'fork-bomb' style expressions, such
as (\x.x)(\x.x)
Added support for (\xyz.z) style function def

Instead of having to nest definitions (\x.(\y.(\z.z))), can write the
compact version as (\xyz.z)
improved :steps reporting