sats file now typechecks, we will eventually need to define -sizes- for all the abstype definitions like dirsnap, fsnap, etc. All just pointer'' size?