Correct type-checking of calls

Closes #4

See merge request !38

Dynamic constant remainder

See merge request !37

Dynamic Constant Math

See merge request !34

Fixes to backend to support matmul

See merge request !36

Schedule IR based backend

See merge request !35

Juno Improvements: type inference and intrinsics

See merge request !33

Add intrinsic calls to Hercules IR

See merge request !31

interpreter

See merge request !30

Reimplement create_constant_zero in builder for Juno codegen

See merge request !32

Misc. prep for codegen

See merge request !27

projection_node

See merge request !29

Misc. improvements

See merge request !25

Technical Report

See merge request !26

Handle arrays properly in the runtime (part 1)

See merge request !24

Minimal runtime for simple examples

See merge request !23

Front-end Additions and Fixes for Cava

See merge request !22

Fork Guard Elimination

See merge request !21

CPU partition respecting backend

See merge request !20

Juno Frontend

See merge request !19