Solution to issue #16 (illegal friend declaration of mkLit)

This patch resolves issue #16.

Basically, the friend declaration of mkLit is not needed, as mkLit can already access field x.

The specification of  default value for the sign is moved to the definition of mkLit.