A programming language for intermediate symbol processing