Make desugaring of formlet placements slightly more robust by using
unification to deconstruct the formlet type.