Reduce Any stack usage with map + list of lookups

Alternative to #1301 and #1303, prebuild a map by type
to determine which function to call.

This only works for concrete types, so we also need a list for
interfaces, ordered in precedence order (since multiple interfaces
may match a single type).