Basic spec tests for "covariant method implementation" feature in Gosu