Typogenetics: A Logic for Artificial Life