elaborated pattern matching docs more