version 0.7.3: new featrues, optimizations, fixes