Graph Type Checking / Matching