Add polymorphism, lazy sequences and sequence comprehensions