initial support for declaring "dynamic" functions and values #700
update spec in light of the work on #700
improve flow
improve statement of rules for iface bodies
make type of `Nothing` agree with spec
simplify impl
update kw list
update list of annotations
add missing final
add todo
move method
define T~X, filling in a todo