BTA5.agda
documentation and cleanup
documentation for annotated types
Comments on annotated expressions
Some examples
examples and doc
Fix some non-terminating proofs that agsy snuck in
comments from meeting
Examples
Work on examples
Merge branch 'master' of https://github.com/peterthiemann/polybta

Conflicts:
	BTA5.agda
test comment
version to be expanded
fixed module name
correctness proof with library,instances,and annotated types
Add a cleanup-todo list
Liftable terms
liftable terms
Merge branch 'master' of https://github.com/peterthiemann/polybta
liftable terms