change semantic of isValidInModule, such that is reflects the function name; isValid -> true if holds; false otherwise
isValidInProgram is checked for all feature expressions of referenced identifiers now
use full feature expression for isValidInProgram check, instead of annotation on AST elements, which may be incomplete
fix isValidInProgram for extract function
Merge pull request #2 from joliebig/renaming