code: public static Type.Record[] typeRecordConstructor(Identifier field, Type... expected) {
  		Type.Record[] result = new Type.Record[expected.length];
  		for (int i = 0; i != expected.length; ++i) {
  			Tuple<Type.Field> fields = new Tuple<>(new Type.Field(field, expected[i]));
  			result[i] = new Type.Record(true, fields);
  		}
  		return result;
  	}
docs: Given an array of expected element types, construct corresponding expected
  record types. For example, consider the following simple Whiley snippet:
  
  <pre>
  function f({int x} rec) -> int:
  return rec.x
  </pre>
  
  The expected type for the expression <code>rec.x</code> is <code>int</code>.
  From this, we calculate the expected type for the expression <code>rec</code>
  as <code>{int x,...}</code>.
  
  @param field
  @param expected
  @return