Add the first couple of type constraints (still need Is.assignableFrom)