type information in a lisp: DA STANDARD way

so I'm making a toy s-expression parser in C which may or may not become a minimal toy lisp interpreter and I'm trying to figure out the best way to do types. I know the classic way is to use the end of the pointer as tag bits but it doesn't really look standard-conforming or portable.

is there a way of doing it that doesn't rely on undefined behavior? the only thing I can think of is making a struct that holds value/pointer and type information but this seems very wasteful.

maybe you could mmap a few different spaces, one for each type. then you can tell what type something is based on which space it's in. It's slower than pointer tagging but it's not wasteful.