(research notes on constructor theory)