Allowed for optional/unknown array sizes to be used as types.
Some updates on program type checker.