BuiltinByteString: t.Type<BuiltinByteString> = t.string

TODO: Comment