WIP
Working by stuttering outputs - uses type checker