Fixed ambiguity in ArraySpec and refactored to make building AST easier.
Finished transforming of ArraySpec to AST ATerm format (uses ofpDimSpec)