A stack-oriented, concatenative extension language