Kind Checker - Update 1

[cstml]

Scope

From comments to PR #10:

• Consolidating Unification with fd-unification #37
• consider using monomorphic Kinds - resolve for all remaining variables in Kinds.

Additionally:

• document the approach Update Compiler documentation #13

[bladyjoker]

Done