Improved types, added type-checker stylesheet.