Leram - The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution