git-ignore file _prove
add Streams (lazy TList s), add helper fn if-nil for reducing nr of calls to a list instance fn by half
remove now obsolete tests Term-ctors.t, remove method gist from all but AlphaVarT
add fn Term->size, counting the nodes in a particular TTerm
add test for free-vars: var may occur free but also bound (and binding); if so it should be contained in freeVars
Update TODO.md
remove TODO re Omega (it's been done)
move the experiments from LambdaGrammar.pm6 to Misc.t; fix alpha-needy-terms in LamT (P6 Term)
add fn alpha-problematic-vars in lambda-style (almost pure)
simplify fn alpha-problematic-vars
remove method alpha-problematic from P6Term AppT, use lambda-style fn alpha-problematic-vars instead
implement alpha-needy-terms in lambda-style, remove it from P6 Terms
Merge branch 'master' of https://github.com/meisl/lambda into switch_to_lambda_reprs

Conflicts:
	lib/Lambda/ListADT.pm6