cons function type checking correctly
head and tail also type check correctly
cons, head and tail type checking passes tests