`catch void` to ignore error when type is void

[giann]

fun willFail() > void !> str {
    throw "fail";
}

fun main([str] args) > void {
    willFail() catch void;
}