WNTs in synapse formation and neuronal circuitry