When destructuring

The documentations are more exhaustive than before, and something like if-let in Rust is finally introduced in.

@when (a, 1) = tp begin
     a + 1
end

@when let (a, 1) = tp,
               f = x -> x + 1
    f(a)
end