Hypothetical types of biochemistry