Smith programming language