Add RVFunctions.from_mapping and RVFunctions.from_partition.

Rename insert_frv to insert_rvf.
Rename BooleanFunctions to RVFunctions.
More informative error message for str outcome constructor.
Tests for RVFunctions.{from_mapping, from_partition}.