sum-types: Implement missing cases for PTyped and PLocated

[RyanGlScott]

On the sum-types branch (#1602), there are some places in the code that are missing cases for PTyped and PLocated. These include:

• The BindsName (Pattern PName) instance:

  cryptol/src/Cryptol/ModuleSystem/Binds.hs

  Lines 416 to 424 in 221bf4a

  	instance BindsNames (Pattern PName) where
  	namingEnv pat =
  	case pat of
  	PVar x -> BuildNamingEnv (
  	do y <- newLocal NSValue (thing x) (srcRange x)
  	pure (singletonNS NSValue (thing x) y)
  	)
  	PCon _ xs -> mconcat (map namingEnv xs)
  	_ -> panic "namingEnv" ["Unexpected pattern"]

• The checkCaseAlt function:

  cryptol/src/Cryptol/ModuleSystem/Binds.hs

  Lines 416 to 424 in 221bf4a

  	instance BindsNames (Pattern PName) where
  	namingEnv pat =
  	case pat of
  	PVar x -> BuildNamingEnv (
  	do y <- newLocal NSValue (thing x) (srcRange x)
  	pure (singletonNS NSValue (thing x) y)
  	)
  	PCon _ xs -> mconcat (map namingEnv xs)
  	_ -> panic "namingEnv" ["Unexpected pattern"]

There may be others—check to see if -Wincomplete-patterns warns about other missing cases for PTyped and PLocated.

[RyanGlScott]

Done in a0179c0.