definitions now added to constructions because they need them when resolving words into machines
definitions now added to constructions because they need them when
resolving words into machines

kornai/pymachine,kornai/pymachine,Eszti/pymachine,recski/pymachine,recski/pymachine,Eszti/pymachine