Support for typechecking chains of assignments (+style improvements)