Implemented Type evaluation