Merge pull request #8 from tegonal/doc-type-lambda-intro

doc(type-lamba): remove superfluous `construct`

Author: robstoll

docs/docs/reference/new-types/type-lambdas.md

@@ -10,9 +10,7 @@ a type definition.
 [X, Y] =>> Map[Y, X]
 ```
 
-For instance, the type above defines a binary type constructor, which
-constructor maps arguments `X` and `Y` to `Map[Y, X]`. Type parameters
-of type lambdas can have bounds but they cannot carry `+` or `-` variance
-annotations.
+For instance, the type above defines a binary type constructor, which maps arguments `X` and `Y` to `Map[Y, X]`.
+Type parameters of type lambdas can have bounds but they cannot carry `+` or `-` variance annotations.
 
 [More details](./type-lambdas-spec.md)