Top-level Specification Elaboration
Some bug fixes in A-normalize Core ML
Fixed bugs in a-normalize. Fixed layout.