fix type annotations making functions admissable as patterns

make constraints check if types admit equality

fix real

fix #117

fix configuration issues and linter errors

List: add permutations

squids

update cli

squids

squidfixes