Inline assembly should be allowed

[raxod502]

It should be possible to define new primitives directly in user code by writing monadic functions to generate assembly. This would require the Kalyn compiler to make some of its internal data structures available to user code, but has the tradeoff that only one version of the standard library primitives would need to be maintained.

This would be a more general solution to #8.