Removed the friend declaration of mkLit; added the default parameter to definition of mkLit.