move four enclosures into basics.html from pattern-matching.html