update shape propagation for built-ins