Brian Harvey's logo language interpreter 