…sal if dependencies available
…slice (which corresponds to every single call case)
…le by default
…e cases with nullary arrows
By the way, removed optionnal arguments and put instead required with labels fot some pretty non-trivial arguments. However, experience shows that creation of the typer is always done with the same value for these arguments (gamma, annotmap and qml db scheme). I wonder if we should not internalize these parameters as fixed values of the typer creation function.
…agraph in the 'Install' section