very broken shit
wow such broke
use state and error transform in type checker
update parameter syntax in tests
fix type checker issues