Review preterm module until typify function
Complete conversion of preterm module

Also define Choice.attempt for convenient use