Initial implementation of string_of_type