[project @ 1999-11-30 16:10:07 by lewie]

First bits o' functional dependencies - just the syntax and related
datatypes, plus started moving some of the static checks from the
renamer (where we don't know about fundeps) to later in the typechecker.