Added TypeOf Type extensions and test libs