typed primitives