start defining stateless hol inference system

done up to the point where the stateful version would have started
defining definition contexts