changed several metafunctions into judgments, which fixed the errors on using undeclared variables
Merge pull request #4 from anasazi/typed

fixed the errors on using undecleard variables by replacing metafunctions with judgments