Added elementTypeOf primitive.
Fixed tricky typing issue for multivars matching with a list[value]
Fixes #464: Addition inside a polymorphic function