Fixing of arguments and returning states of some functions from value to *.
Pre-relise version of the l-graph (without conctructors).