Add type-checking and structural checker dialects