Added binding constructs to lava-like core, trying multi-input gates now, if doesnt work revert to 2-input gates
Added "structured" version of DSL, kinda like Coq
added gitignore for agdai