message: Print is variadic
diff: @@ -156,4 +156,4 @@ None of these operations produce results (i.e., they appear as Effect Operations
  ### Miscellaneous
  * `id`: A type-insensitive identity. Takes one argument, which is a variable of any type, and produces the same value (which must have the same type, obvi).
  -* `print`: Output a value to the console. Takes one argument of any type and does not produce a result.
  +* `print`: Output values to the console. Takes any number of arguments of any type and does not produce a result.
  