Implement conformance check for array initializers.
Fix several bugs