fix given/case and Pattern unapply
add given and destructuring examples