Implemented TYPE_CHECK, Context, added TODOs, and linker error notes

Also added watsonrc for issue tracking