Terminology changes in permissive-next for consistency with copyleft-next
Move some basic definitions back to top of copyleft-next
Delete spurious definition from section 2
More work on initial definitions, particularly 'Modification'