Added partial functions as a separation algebra.