Fix parameter expansion in PEq case
Fix parameter propagation on CAFs

Specifically, only propagate implicit parameters which are missing.
Fixes #1370