I am on a similar quest with https://hackage.haskell.org/package/spade

But it is not bare metal yet and it is not BASIC.