#NAME inhabited_types.

def default_value : A : fol.type -> fol.term A.