Added stubs for the remaining inference rules.
Updated the heterogeneous samples theory file.