Added bind pattern and changed how the type pattern works..
Added doc strings to defpattern. Did some other stuff.