add typed id wrappers for safety in java