Updated At-Library test cases.
Updated Atan2-Library test cases.
Updated Bin-Library test cases.
Updated Boolean-Library test cases.
Updated Do-Library test cases.
Updated Dualfunc-Library test cases.
Updated Equal-Library test cases.
Updated Factorial-Library test cases.
Updated Foldl-Library test cases.
Updated GreaterThan-Library test cases.