Fix invalid transpose constant fold.
Fix externalisation of empty array literals.
Fix some size computation functions.