some simple type unification docs