type env track class attrs
need to rework method inheritance