Typecheck initialization
Typecheck assignment