Add f-ext? predicate function
Merge branch 'f-ext-p'