Added style for interfaces, some bug fix and some primality test. There are problems with AKS, a faster implementation is needed.