Add a couple of typespecs

Could also add guards to prevent bothering the port but I left it at the spec