equivariant functions

[Jason House]

Christopher Wright wrote:

> Jason House wrote:
>> Templates are non-virtual right now
> 
> That could be changed, but it would require a lot of bookkeeping in
> temporary files (and not object files). And it would interfere with
> precompiled libraries.

If a template's arguments can be defined a prior, adding the functions to
the vtable is easy.  That middle ground may be useful, but wouldn't work
for everything.