Type system does not recognize that a literal int is equal to an Int alias - Modular