wip on binarytypebinding exposure of typeannotations
Important fix for inner types mixed with array types