Started work on mixture target inference

- Blocked on the type defns for now