Replaced lambdas with method references in the SocketActionFactory. Removed a parameter in BooLeXTypeChecker.