fix Issue 481 - Letting compiler determine length for fixed-length arrays
Improve semantic to support "tail-qualified" variable declaration
Allow partial type for AA key type