Implement strong types for tup extend, fixes #62