:load test/syntax-prims/syntax-prims.disco
:type x
x 4