New and improved

Models become types + fuzzy types + using gui.Class + general readability.