(partial) naming / typing of primitives