End goal is to separate things that are essential for blockchain: core language, sigma expressions, data types for transactions, etc. from things that only use it: high level language which is compiled to core. Naturally we want to keep former as small as possible in order to reduce room for bugs and to keep things manageable.
This PR doesn't achieve this goal but moves in direction above:
Move transaction data type to H.U.L.Types. Transaction types are fundamental to blockchain while
Move names for monomorphic data types to H.U.L.Expr since they're feature of high level language not core
End goal is to separate things that are essential for blockchain: core language, sigma expressions, data types for transactions, etc. from things that only use it: high level language which is compiled to core. Naturally we want to keep former as small as possible in order to reduce room for bugs and to keep things manageable.
This PR doesn't achieve this goal but moves in direction above: