renames some internal operations to match doc

adds descriptions to logical operations