Some reorg for work on the lazy type provider, updated to the latest ProvidedTypes.fs

Signed-off-by: Richard Minerich <richard.minerich@gmail.com>
More Lazy infrastructure work

Signed-off-by: Richard Minerich <richard.minerich@gmail.com>
More infrastructure work, needs testing

Signed-off-by: Richard Minerich <richard.minerich@gmail.com>