Bugs : Typos in MetaM chapter

[Shreyas4991]

I found two typos in the MetaM chapter of the online version of the book:

1. In the first example using Eq.trans, the sentence "Now the third apply comes in. Since ?b has been assigned, the target of ?m3 is now f (f a) = a", ?m3 is actually f a = a at this point.
   2.In the sentence "See the Metavariable Kinds section (but the default is usually correct)." the link doesn't exist. There doesn't seem to be a section on metavariable kinds.