updated tuple deduction; added cycle checks for typelnks
updated tuple deduction; added cycle checks for typelnks
updated tuple deduction; added cycle checks for typelnks
cleanup syntax
changed type chaining; forgot why i needed to reset unifiers only after full-expression
changed type chaining; forgot why i needed to reset unifiers only after full-expression
changed type chaining; forgot why i needed to reset unifiers only after full-expression