which we use in the proofs system and also example...

# pattern-matching

[raulraja]

which we use in the proofs system and also examples of resolution and type checking to assign types to those expressions and symbols