fix parse conflict between prefix exprs and block calls
add support for abstract defs in parser
add BIND to lexer
add bindings, both as exprs and as function names
infrastructure for test programs and name resolution example program
name resolution doc