Add Type rules for throw and try/catch