Expand allowed variable types for covariance #57
Description
Covariance currently requires that the variable types for each input be the same. However, they could conceivably be different (e.g. could want covariance of a logical thing vs a numeric thing? maybe?).