small updates to subtypes() and docs