Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
Fix for (VALUES) from FUN-TYPE reorganization
... treat a bare FUNCTION as (FUNCTION * *) in VALID-FUN-USE
... add a comment for the future to consider whether it's
possible that an intersection type could get in there.