Prune foundations of num This makes num.ot.art almost entirely axiomatic.
Update syntax of directive files; change suffix to otd