재귀적으로 정의된 데이터 자료형을 컴파일러가 인라이닝 해서 배열로 만들고

primitive int 쓰는 대신에

Bool 타입 64개 묶음으로 정의해서 property 같은거 전부 증명할 수 있게 만들고

그렇게 만든 Int 타입을 효율적으로 연산할 수 있게 컴파일 할때 효율적인 명령어로 전부 치환하고

이런거 전부 구현하면 네이티브 수준 성능 + 컴파일 시간 bounds checking 달성 가능할듯

내가 죽기 전에는 만들어볼게