Juno Improvements: type inference and intrinsics

Add float kind to allow functions polymorphic over any float type (useful with our many float-only intrinsic functons)

Make type arguments optional on parametric types, functions, and intrinsic functions and add type wildcards

Modify type checking and inference to handle optional type arguments and type wildcards, improve handling of unconstrained types and produce errors if types remain unsolved

Add the Hercules intrinsic functions to Juno and implement code generation