Implement Static Typing Testing #859
Description
This is related to #91. There we agreed that enforcing static typing at run time is a bad idea for the user. However, I think it still has a place in testing. One option for this is to use mypy. Playing around with this I found that it had a lot of complaints about @_() SLY magic. So this would require some work to get configured properly.
Fork of #393