[Feature] Default value of generics parameter

[taichi-ishitani]

I think it would be nice generics parameters have their default value like parameter.

function foo::<W = 2> -> logic<W> {
}