[style] init.c
[Refactoring] Initializer::inferType
Add BasicType3
Semantic optional type