Very nice! I've toyed with Joy a bit and I feel like concatenative languages are, uh, important. Stabel seems like an awesome entry in the space.

Have you seen http://conal.net/papers/compiling-to-categories/ ?

(Also s/mayor/major/ )