Add static typing rules