Autobib package for the gradual typing bibliography