Added supplant.
Typed a bunch of things.
Comments and types.
Restructured.
Bit more.
Fixed lift-a*, and added bilift-a*.
More functions.
Fixed foldable.any and used correct comments.