type checking of ssa terms
add .merlin file
documentation
tidying up
pair types