Allow usage of specific immutable types as parameters

This engages the mechanism for Rational{Int}, but no others