src/main/scala/elfcala/Signature.scala
continues the implementation of typechecking
moved the syntax sugar to its own file
added a work-in-progress pretty printer