Infer template parameters the same way we deduce generics

[alexnask]

For example, make this work:

Foo: cover template <T> {
    val: T

    init: func@ (=val)
}

foo := Foo new(42)