Allow including generic modules with any type expression
Added missing restriction for tuple instance
Added "==" and "to_s" for Tuple, with some specs.