Hello World in Binary Lambda Calculus - Binary-lambda-calculus Typing CST Test