Various debugging

Tool to enforce types on variables