start on new_basic_definition_correct

but getting the impression that the semantics may be wrong here... it
seems to want to disallow polymorphic definitions, so probably something
is too restricted somewhere...