Add simple structural type checker dialect