Church Numeral 0 - Binary-lambda-calculus Typing CST Test