Add Num type; Add a few more operations; Filter HOF