More precise gen for `unpackFromSlice(mutate s: slice)`

[Kaladin13]

fun MyType.unpackFromSlice(mutate s: slice) {
    
}

When we generate it, it should be (since it like this is language):

fun MyType.unpackFromSlice(mutate s: slice):  MyType{
    
}