T1.domain
interface of the evaluation value domain
method private virtual undefined : 'r m
method private virtual value_of_word : word -> 'r m
method private virtual word_of_value : 'r -> word option m
method private virtual storage_of_value : 'r -> 's option m