indent 2
Pass [Anything*] to model Class Arguments
extendsType(*,Anything) is always true
fix certain return type arguments