Changed binary tree to binary search tree, added paramorphism to Merkle tree

Signed-off-by: Andrew Miller <amiller@dappervision.com>
updated gitignore

Signed-off-by: Andrew Miller <amiller@dappervision.com>
New finally-encoded version of ADS. Uses PHOAS. Semantics parameterized by monad as before.

Signed-off-by: Andrew Miller <amiller@dappervision.com>