Completed types and almost finished task specification.