Optimise SpaceEngine.signature for synthetic unapplies

Instead of creating type vars, constraining against them, then
instantiating them, just instantiate the PolyType with the scrutinee
type args (or the lo/hi bound or bounded wildcard from the param).

[Cherry-picked bdafee6][modified]

Author: tgodzik