Add instanceof statements

[biboudis]

Adds support for instanceof statements for example:

    record H<T>(T t) { }
    static class B {
        H<String> h;
        public B(H<String> s) { h = s; }

        pattern B(String s) {
            h instanceof H<String>(String ss);
            match B(ss);
        }
    }