Type annotation should take advantage of recursive annotation checking Reviewed-by: jjg
Default annotation value is not attributed Reviewed-by: jjg, darcy