Updating: minor addition.
A big tidying up!
Updating: more tidying up.
Updating: very minor.
Updating: minor addition.
Updating: minor modification.
Updating: minor addition.
Updating: tidying up.
Updating: adding some linset-functions.
Updating: differentiating (_) from _.