added `unapply` to FolVariableBinderExpression