Might have gotten entailments to work thanks to @FichteFoll.
Added imports and types.
Fix function and ffi.
More prelude.
Restructured and added a bunch to prelude.