Fixed callables, added static class attributing, and checks

Added checks for ambiguity after typing and fixing class attributes.