Fixing a few mistakes and adding ImplicitHaar