Lift properties of FP policies to JLDP policies
We don't need to define properties about FP policies directly. Using the existing properties for JLDP policies is enough.
For example, in the FP schedulability tests, we currently assume that the FP policy is total over the universe of sporadic tasks (which is too strong). Instead, we can use the conversion from FP to JLDP and use the properties of JLDP policies (e.g., totality over all JobIn).
To make things even simpler, we can force the conversion from FP to JLDP with a coercion.