Merge pull request #3305 from Kaiepi/glossary-type-smileys

Add type smiley to the glossary

Author: JJ

doc/Language/glossary.pod6

@@ -378,7 +378,7 @@ value of a call to a method called C<new>, or a literal.
 Instances of most types are defined to be C<True> e.g.,
 C<defined($instance)> is C<True>.
 
-    my Str $str = "hello";  ## this is with builtin types, e.g. Str
+    my Str $str = "hello";  ## this is with built-in types, e.g. Str
     if defined($str) {
         say "Oh, yeah. I'm defined.";
     }
@@ -1152,6 +1152,17 @@ is an object that is used to represent a type or a class. Since in
 object oriented programming everything is an object, classes are
 objects too, and they inherit from L<Mu|/type/Mu>.
 
+=head1 Type smiley
+
+A
+L<type smiley|/type/Signature#Constraining_argument_definiteness>
+is a suffix a type may have that indicates the definiteness of values
+that can typecheck against it. This may be C<:D> to indicate that only
+defined values can typecheck (i.e. instances), C<:U> to indicate that only
+undefined values can typecheck (i.e. type objects), or C<:_> to indicate
+that both defined and undefined values can typecheck. These resemble
+emoticons, thus the name.
+
 =head1 value
 X<|value>
 

xt/words.pws

@@ -499,6 +499,7 @@ hamza
 hardcoded
 hartl
 hashref
+haskell
 haskelly
 heredoc
 heredocs
@@ -572,6 +573,7 @@ invocant's
 invocantmarker
 invocants
 invocationprotocol
+irc
 isa
 isengard
 ish
@@ -847,6 +849,7 @@ oneline
 oo
 oop
 opaquepointer
+opcode
 openbsd
 opendir
 openforwriting
@@ -1054,7 +1057,10 @@ reentrant
 regex
 regexes
 reification
+reified
 reifier
+reifies
+reify
 reini
 renderer
 renderers