Speed up tests by not resolving when not needed

Test typechecker edge cases

Run all dhal-lang typecheck tests

Anything we'll eventually run is a skip

Use upstreamed type tests

Fix style in tests

Refactor Optional/None typecheck

Refactor Function annotate

Run tests per docs

Working typechecker

Type inference/checking about half done

Passing unit tests for features implemented so far