add guardconttype, almost a 1:1 copy of guardcontconc.
Revert "implement iscont with clever non-branching strats"

This reverts commit 0bb7430c030017d4ddb86bd210cf320b57cfde61.

It looks correct, but it leads to spectest fails, so i'm continuing the
investigation on a branch.