defs should search for defs-config.json in filesystem, upwards
use options.loopClosures, better error messages
README, loop-closures.md, semantic-differences.md