Added (~*). Relaxed types of (/~), (~/).