code: private WyalFile.VariableDeclaration[] generateExpressionTypePattern(WyilFile.Decl declaration,
  			GlobalEnvironment environment, Set<WyalFile.VariableDeclaration> freeVariables) {
  		WyalFile.VariableDeclaration[] patterns = new WyalFile.VariableDeclaration[freeVariables.size()];
  		int index = 0;
  		for (WyalFile.VariableDeclaration var : freeVariables) {
  			patterns[index++] = var;
  		}
  		return patterns;
  	}
docs: Packaged the set of free variables up into a type pattern (for now).
  
  @param declaration
  The enclosing function or method declaration
  @param environment
  The global environment which maps all versioned variables to their
  underlying locations. This is necessary to determine the type of
  all free variables.
  @param freeVariables
  Set of free variables to allocate
  @return