Tests for Typelist Ops