pin config
pin constrains
strange stuff going on
initial typesystem
more type system