Started typecheck implementation.
Array assign next;