#77 Documentation enhancement on concepts and constraints