Add a bunch tests for polymorphic functions.