Noted some changes Chris suggested to type decls prototype
First bit of typed type decls implementation