Fix the struct address allocation phase... the recursion within compound literals was wrong
Fix the struct address allocation phase... the recursion within compound literals was wrong

FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin