"$1" is a container type that allows to record additional information (e.g. provenance data) about a value assignment.