Template functions, can we make it more simple?

[SteveGuo]

> void foo(int)
> {}
>
> Is perfectly legal.

We could change the language definition, make things like "void 
foo(int) {}" illegal