Added Type class, bettered types a bit, made address of and dereference operators work.