Corecords now work with dependent projections, and generated constructors are in the correct namespace. This fixes #5