Rewrite basic-concepts section

The section now discusses some behavior in a more plain way. The modules
subsection is yet to be filled out, as some semantics need to be handled
first (specifically scope, environments, etc).

The other sections will also be rewritten to condense the language used
to be less confusing (and to reduce the need for legalese). Also,
because I want to change how error conditions are treated.