Self-Application - Binary-lambda-calculus Typing CST Test