Ported EffectChecker to use ASaPTypes and updatad Effect constructors
to make private copies of the Rpl arg, so we don't have to explicitly
copy the Rpls.