Upating alien type methods model, and adding diagram for inclusion in documentation