Remove FFI code

[safareli]

We can remove FFI code and write interpreter in PS, it will change runtimre representation tho, but that's not a big issue I guess.

/cc @matthewleon

[matthewleon]

Out of curiosity (not sure it would make sense for performance reasons), is there any example anywhere of type-aligned structures in PS, rather than Haskell? Such a beast would probably be necessary to implement a free category, right?

[safareli]

beast would probably be necessary to implement a free category

As a List is free monoid, a type aligned sequence is free category :p

So if there was some kind of typed aligned sequence out there we could use that over (->) to get Func and then write stacksafe interpreter of the structure.

This is somewhat related discussion purescript/purescript-free#65

[safareli]

There should totally be, FFI free, typed aligned sequences. So it could work on different compilation targets not only for JS.