Add typed functions rule