initialization typing, coherence, etc