renamed bool2int to bool-to-int to follow preludels naming conventions