Use Block instead of SyntacticBlock in implodePatDefs

To prevent blocks from collapsing after transformation.