A Preview of Coalton 0.2