Learning Procedural Abstractions and Evaluating Discrete Latent Temporal Structure