Add Ackermann function in LC with type inference