Added support to checker for append assignable (most added in earlier commit, this should properly compute the type)