final (I think) type validation done

Will still want to do conditional type checking at runtime. Can't be
done at compile time