Update construct_type_function.chpl to use param in the type function.