More type expression tests