code: private WyalFile.VariableDeclaration[] generateQuantifierTypePattern(WyilFile.Expr.Quantifier expr,
  			LocalEnvironment environment) {
  		//
  		Tuple<WyilFile.Decl.Variable> params = expr.getParameters();
  		WyalFile.VariableDeclaration[] vardecls = new WyalFile.VariableDeclaration[params.size()];
  		for (int i = 0; i != params.size(); ++i) {
  			WyilFile.Decl.Variable var = params.get(i);
  			vardecls[i] = environment.read(var);
  		}
  		return vardecls;
  	}
docs: Generate a type pattern representing the type and name of all quantifier
  variables described by this quantifier.
  
  @param expr
  @return