A Theoretical Concept: Towards Mathematical Declarations of Code Intentions