Refactor type implementation

Currently many times its unclear if the modified Output type is needed or the actual source type for which is checked.

This results in many casts or `@ts-expect-error` needed.
While they are required if they modify the source type (e.g. .optional()), they should not be necessary for build or transform