More things removed for having HM typing

Simpler yet again
Higher order functions are fun!

...plus varargs.  Bug fixes for fcns passed fcns returning fcns.
Strong typing of polymorphic + & bin ops

Allows mixing arrays & scalars; type system notes where broadcast ops
are needed.
Probably too aggressive in the type system, but seems to keep strong
typing
almost sane when mixing scalars & arrays.