As discussed in !439 (merged), rename lifting to primitive_laws and array to derived_laws.
lifting
primitive_laws
array
derived_laws