Added docs and test for type assertion and getter 'a'.