Add partial defs and lemmas from Kashima paper
Merge pull request #17 from knuton/standardization

Add partial defs and lemmas from Kashima paper