Add typing tests