could just have symbolic types for the "primitive" stuff I guess?