Beginnings of a specification for a small Ada interpreter and compiler