Worked some on the type system. It is NOT functional yet.