Title: A new type-checker for a functional language