Bachelor projct to create a type system for physical dimensions