export basics-square.ta again, now using the type system