Major merge of alternatives from mvriel and bernhard

Note that the core tenets have not been modified; terms have been expanded and examples/remifications of the core tenets have been added.