support for defaults in the simple unifier

There should be a way to specify a logic var with default values. If it is not unified with something it should unify with the default provided value.