Support strictness annotations on data declarations and support the record and infix constructors. Also tweaked the pretty printer a bit.