Return correct type for and
Add atan primitive pattern
Add make-table signature