Clarify you need to include some standard library functions/modules (#522)

Author: hanssv

docs/sophia_features.md

@@ -858,8 +858,8 @@ it.
 
 There is a builtin type `string`, which can be seen as an array of bytes.
 Strings can be compared for equality (`==`, `!=`), used as keys in maps and
-records, and used in builtin functions `String.length`, `String.concat` and
-the hash functions described below.
+records, and used in standard library functions `String.length`,
+`String.concat`, etc, and the hash functions described below.
 
 Please refer to the `String` [library documentation](sophia_stdlib.md#string).
 

docs/sophia_stdlib.md

@@ -1077,6 +1077,8 @@ These need to be explicitly included (with `.aes` suffix)
 
 ### AENSCompat
 
+Note: to use `AENSCompat` functions you need to `include "AENSCompat.aes"`
+
 #### pointee\_to\_V2
 ```
 AENSCompat.pointee_to_V2(p : AENS.pointee) : AENSv2.pointee
@@ -1094,6 +1096,8 @@ Translate new pointee format to old, `DataPt` can't be translated, so `None` is
 
 ### BLS12\_381
 
+Note: to use `BLS12\_381` functions you need to `include "BLS12\_381.aes"`
+
 #### Types
 
 ##### fr
@@ -1325,6 +1329,8 @@ Perform the final exponentiation step of pairing for a `gt` value.
 
 Functional combinators.
 
+Note: to use `Func` functions you need to `include "Func.aes"`
+
 #### id
 ```
 Func.id(x : 'a) : 'a
@@ -1475,6 +1481,8 @@ language provides checkers to prevent unintended usage of them. Therefore the ty
 **will** allow that and the results of such comparison will be unspecified.
 You should use [lt](#lt), [geq](#geq), [eq](#eq) etc instead.
 
+Note: to use `Frac` functions you need to `include "Frac.aes"`
+
 #### Types
 
 ##### frac
@@ -1688,6 +1696,8 @@ this function to verify the input.
 
 This module contains common operations on lists like constructing, querying, traversing etc.
 
+Note: to use `List` functions you need to `include "List.aes"`
+
 #### is_empty
 ```
 List.is_empty(l : list('a)) : bool
@@ -2035,6 +2045,8 @@ Equivalent to [zip](#zip) with `[0..length(l)]`, but slightly faster.
 
 Common operations on `option` types and lists of `option`s.
 
+Note: to use `Option` functions you need to `include "Option.aes"`
+
 #### is_none
 ```
 Option.is_none(o : option('a)) : bool
@@ -2220,6 +2232,8 @@ Same as [choose](#choose), but chooses from a list insted of two arguments.
 
 Common operations on 2-tuples.
 
+Note: to use `Pair` functions you need to `include "Pair.aes"`
+
 #### fst
 ```
 Pair.fst(t : ('a * 'b)) : 'a
@@ -2270,6 +2284,8 @@ Swaps elements.
 
 ### <a name='set-stdlib'>Set</a>
 
+Note: to use `Set` functions you need to `include "Set.aes"`
+
 #### Types
 
 ```
@@ -2395,6 +2411,8 @@ Returns the union of all the sets in the given list
 
 Operations on the `string` type. A `string` is a UTF-8 encoded byte array.
 
+Note: to use `String` functions you need to `include "String.aes"`
+
 #### length
 `length(s : string) : int`
 
@@ -2518,6 +2536,8 @@ Computes the Blake2B hash of the string.
 
 ### Triple
 
+Note: to use `Triple` functions you need to `include "Triple.aes"`
+
 #### fst
 ```
 Triple.fst(t : ('a * 'b * 'c)) : 'a