Fix alist_treeLib to compile under Moscow ML

Thanks to Chun Tian for flagging this.

Closes #670

Fix alist_treeLib for term not being an equality type

Import alist_tree theory and library from CakeML