feat: type condensing/optimizations and format

[marcomariscal]

whilst reviewing, just formatting and condensing types when appropriate

have to make sure the docs can still infer the type

[brucedonovan]

@marcomariscal, I am not happy with condensing the typing so that it gets inferred. Will discuss further in our code review call today, but basically, we need it there as output validation (certainly during the active development phase).