Update construct_type_function.future with a more detailed description of the fault.